#include <stdio.h>

unsigned long long int seed = 0;
void hash(unsigned long long int *seed, unsigned long long int const v) {
    *seed ^= v + 0x9e3779b9 + ((*seed)<<6) + ((*seed)>>2);
}

signed char var_1 = (signed char)11;
long long int var_2 = 5111069570638279496LL;
unsigned int var_3 = 405219968U;
unsigned int var_7 = 657070711U;
unsigned char var_9 = (unsigned char)152;
unsigned char var_10 = (unsigned char)227;
signed char var_12 = (signed char)-18;
long long int var_16 = -1051798395817252658LL;
short var_17 = (short)-20291;
unsigned int var_18 = 3878413793U;
unsigned char var_19 = (unsigned char)73;
short var_20 = (short)-17659;
void init() {
}

void checksum() {
    hash(&seed, var_16);
    hash(&seed, var_17);
    hash(&seed, var_18);
    hash(&seed, var_19);
    hash(&seed, var_20);
}


#define max(a,b) \
    ({ __typeof__ (a) _a = (a); \
       __typeof__ (b) _b = (b); \
       _a > _b ? _a : _b; })
#define min(a,b) \
    ({ __typeof__ (a) _a = (a); \
       __typeof__ (b) _b = (b); \
       _a < _b ? _a : _b; })
__attribute__ ((noinline))
void test(signed char var_1, long long int var_2, unsigned int var_3, unsigned int var_7, unsigned char var_9, unsigned char var_10, signed char var_12) {
    var_16 = ((/* implicit */long long int) ((((((/* implicit */_Bool) max((var_7), (((/* implicit */unsigned int) var_1))))) ? (1905635528U) : (((((/* implicit */_Bool) (signed char)28)) ? (((/* implicit */unsigned int) ((/* implicit */int) (signed char)28))) : (var_3))))) - (((/* implicit */unsigned int) ((/* implicit */int) min((((/* implicit */short) (signed char)-123)), ((short)21800)))))));
    var_17 = ((/* implicit */short) ((signed char) ((_Bool) ((((/* implicit */_Bool) var_3)) ? (((/* implicit */int) var_10)) : (((/* implicit */int) (signed char)-8))))));
    var_18 = ((/* implicit */unsigned int) (~(((/* implicit */int) var_12))));
    var_19 = ((/* implicit */unsigned char) (~(((/* implicit */int) ((((/* implicit */long long int) ((/* implicit */int) (short)32037))) != (max((((/* implicit */long long int) (signed char)-48)), (var_2))))))));
    var_20 = ((/* implicit */short) var_9);
}



int main() {
    init();
    test(var_1, var_2, var_3, var_7, var_9, var_10, var_12);
    checksum();
    printf("%llu\n", seed);
}
